In this paper we introduce a new type of nets with bounded types of distributed resources . Linear Logic to describe the behaviour of BR-nets is defined. It is based on Girard's Linear Logic but captures not only consumption of resources but their presence as well. Theorem of soundness and completeness of the proposed axiomatization is proved and the complexity of the provability problem is established for the general case and some particular ones.

In this paper we continue the study of Girard's Linear Logic and introduce a new Linear Logic with modalities. Our logic describes not only the consumption, but also the presence of resources. We introduce a new semantics and a new calculus for this logic. In contrast to the results of Lincoln [7] and Kanovich [4] about the NP-completeness of the problem of the construction of a proof for a given sequent in the multiplicative fragment of Girard's Linear Logic, we present (...) here a non-exponential algorithm to construct a proof for a given sequent and a given point of a given model in our Linear Logic. (shrink)

A conception of an information system has been introduced by Pawlak. The study has been continued in works of Pawlak and Orlowska and in works of Vakarelov. They had proposed some basic relations and had constructed a formal system of a modal logic that describes the relations and some of their Boolean combinations. Our work is devoted to a generalization of this approach. A class of relation systems and a complete calculus construction method for these systems are proposed. As a (...) corollary of our main result, our paper contains a solution of a Vakarelov's problem: how to construct a formal system that describes all the Boolean combinations of the basic relations. (shrink)

This paper discusses the role of Law and Legal Thinking in Critical Theory with specific reference to the arguments that Michael Hardt and Antonio Negri offer in their book Commonwealth. The core idea is that Critical Theory is no less radical, but much more concrete, when it is performing not only an external, but also an internal critique of the Law. It shows that the role of the law in critical theory emerges as a problem when the latter claims that (...) ‘there is no outside’ and that ‘the legal base of the system structures our lives.’ It then discusses optimistic and pessimistic strategies to overcome the problem, and argue for a demanding strategy which consist in articulating the external and the internal critique of the law. To make this point, the paper goes back to the epistemic context in which critical attitudes are deployed (the ‘Conflict of the Faculties’), describes the four theoretical moves constitutive of the historical moment in which, at the end of the 18th Century, modern law as we know it was conceived of and founded; and sketches the key moments of the history of the internal critique of the law. It then illustrates the demanding strategy with examples taken from the field of Intellectual Property, and concludes that the Law is malleable and open enough to allow the thinking and practicing of radical alternatives from within the legal system and also that alternatives spoken in the language of the law are no less radical, but certainly, more concrete than others. (shrink)

In Belegradek et al. 85) the collapse result theorem was proved for locally generic queries over ordered domain with pseudo-finite homogeneity property. In a very interesting paper of Baldwin and Benedikt the collapse result theorem was proved for locally generic queries over ordered domains without the independence property. It means that over such a domain, order-generic extended queries fail to express more than restricted queries. It was observed by Baldwin and Benedikt that any theory without the independence property is P-reducible. (...) I prove that, for the P-reducible theories, a version of pseudo-finite homogeneity property holds. (shrink)

This book is not only a major twentieth-century contribution to Dostoevsky’s studies, but also one of the most important theories of the novel produced in our century. As a modern reinterpretation of poetics, it bears comparison with Aristotle.“Bakhtin’s statement on the dialogical nature of artistic creation, and his differentiation of this from a history of monological commentary, is profoundly original and illuminating. This is a classic work on Dostoevsky and a statement of importance to critical theory.” Edward Wasiolek“Concentrating on the (...) particular features of ‘Dostoevskian discourse,’ how Dostoevsky structures a hero and a plot, and what it means to write dialogically, Bakhtin concludes with a major theoretical statement on dialogue as a category of language. One of the most important theories of the novel in this century.” The Bloomsbury Review. (shrink)

Scientists from various disciplines have begun to focus attention on the psychology and biology of human morality. One research program that has recently gained attention is universal moral grammar (UMG). UMG seeks to describe the nature and origin of moral knowledge by using concepts and models similar to those used in Chomsky's program in linguistics. This approach is thought to provide a fruitful perspective from which to investigate moral competence from computational, ontogenetic, behavioral, physiological and phylogenetic perspectives. In this article, (...) I outline a framework for UMG and describe some of the evidence that supports it. I also propose a novel computational analysis of moral intuitions and argue that future research on this topic should draw more directly on legal theory. (shrink)

Is the science of moral cognition usefully modelled on aspects of Universal Grammar? Are human beings born with an innate 'moral grammar' that causes them to analyse human action in terms of its moral structure, with just as little awareness as they analyse human speech in terms of its grammatical structure? Questions like these have been at the forefront of moral psychology ever since John Mikhail revived them in his influential work on the linguistic analogy and its implications for (...) jurisprudence and moral theory. In this seminal book, Mikhail offers a careful and sustained analysis of the moral grammar hypothesis, showing how some of John Rawls' original ideas about the linguistic analogy, together with famous thought experiments like the trolley problem, can be used to improve our understanding of moral and legal judgement. (shrink)

The aim of the dissertation is to formulate a research program in moral cognition modeled on aspects of Universal Grammar and organized around three classic problems in moral epistemology: What constitutes moral knowledge? How is moral knowledge acquired? How is moral knowledge put to use? Drawing on the work of Rawls and Chomsky, a framework for investigating -- is proposed. The framework is defended against a range of philosophical objections and contrasted with the approach of developmentalists like Piaget and Kohlberg. (...) ;One chapter consists of an interpretation of the analogy Rawls draws in A Theory of Justice between moral theory and generative linguistics. A second chapter clarifies the empirical significance of Rawls' linguistic analogy by formulating a solution to the problem of descriptive adequacy with respect to a class of commonsense moral intuitions, including those discussed in the trolley problem literature originating in the work of Foot and Thomson. Three remaining chapters defend Rawls' linguistic analogy against some of its critics. In response to Hare's objection that Rawls' conception of moral theory is too empirical and insufficiently normative, it is argued that Hare fails to acknowledge both the centrality of the problem of empirical adequacy in the history of moral philosophy and the complexity of Rawls' approach to the problem of normative adequacy. In response to Nagel's claim that the analogy between moral theory and linguistics is false because whatever native speakers agree on is English, but whatever ordinary men agree in condemning is not necessarily wrong, it is argued that the criticism ignores both Rawls' use of the competence-performance distinction and the theory-dependence of the corresponding distinction in linguistics. In response to Dworkin's claim that Rawls' conception of moral theory is incompatible with naturalism and presupposes constructivism, it is argued that Dworkin's distinction between naturalism and constructivism represents a false antithesis; neither is an accurate interpretation of the model of moral theory Rawls describes in A Theory of Justice. The thesis concludes by situating Rawls' linguistic analogy within the context of broader debates in metaethics, democratic theory, natural law theory, and the theory of moral development. (shrink)

We present four new change detection methods that create an automated change map from a probability map. In this case, the probability map was derived from a 3D model. The primary application of interest is aerial photographic applications, where the appearance, disappearance or change in position of small objects of a selectable class (e.g., cars) must be detected at a high success rate in spite of variations in magnification, lighting and background across the image. The methods rely on an earlier (...) derivation of a probability map. We describe the theory of the four methods, namely Bernoulli variables, Markov Random Fields, connected change, and relaxation-based segmentation, evaluate and compare their performance experimentally on a set probability maps derived from aerial photographs. (shrink)

My primary aims in this paper are to explain what exploitation is, when it’s wrong, and what makes it wrong. I argue that exploitation is not always wrong, but that it can be, and that its wrongness cannot be fully explained with familiar moral constraints such as those against harming people, coercing them, or using them as a means, or with familiar moral obligations such as an obligation to rescue those in distress or not to take advantage of people’s vulnerabilities. (...) Its deepest wrongness, I argue, lies in our moral obligation not to extract excessive benefits from people who cannot, or cannot reasonably, refuse our offers. (shrink)

Could a computer be programmed to make moral judgments about cases of intentional harm and unreasonable risk that match those judgments people already make intuitively? If the human moral sense is an unconscious computational mechanism of some sort, as many cognitive scientists have suggested, then the answer should be yes. So too if the search for reflective equilibrium is a sound enterprise, since achieving this state of affairs requires demarcating a set of considered judgments, stating them as explanandum sentences, and (...) formulating a set of algorithms from which they can be derived. The same is true for theories that emphasize the role of emotions or heuristics in moral cognition, since they ultimately depend on intuitive appraisals of the stimulus that accomplish essentially the same tasks. Drawing on deontic logic, action theory, moral philosophy, and the common law of tort, particularly Terry's five-variable calculus of risk, I outline a formal model of moral grammar and intuitive jurisprudence along the foregoing lines, which defines the abstract properties of the relevant mapping and demonstrates their descriptive adequacy with respect to a range of common moral intuitions, which experimental studies have suggested may be universal or nearly so. Framing effects, protected values, and implications for the neuroscience of moral intuition are also discussed. (shrink)

In this comment on Joshua Greene's essay, The Secret Joke of Kant's Soul, I argue that a notable weakness of Greene's approach to moral psychology is its neglect of computational theory. A central problem moral cognition must solve is to recognize (i.e., compute representations of) the deontic status of human acts and omissions. How do people actually do this? What is the theory which explains their practice?

RESUMEN Largamente desatendida o malinterpretada, la noción de caos en la filosofía de Nietzsche es una pieza constitutiva de la particular concepción del ser que este autor habría dejado apenas esbozada. El artículo se propone elaborar este concepto en la obra nietzscheana, siguiendo algunas de las metáforas que lo iluminan. Desde allí se busca plantear los rasgos centrales de una ontologia del caos, de sesgo no metafísico, que, al afirmar el carácter acontecimental de la realidad, puede verse como precursora de (...) la ontología hermenéutica contemporánea. ABSTRACT The notion of chaos, which has long been neglected or misinterpreted, is a constitutive element of a peculiar conception of being that the philosopher only had time to outline. The objective of this article is to elaborate on this concept in Nietzschean philosophy, guided by some of the metaphors that shed light on it. This serves as the basis to set forth the main characteristics of a non-metaphysical ontology of chaos that asserts the eventful nature of reality and can thus be seen as a precursor of contemporary hermeneutic ontology. (shrink)

Many pigmented heterokonts are able to synthesize elements of their cell walls (the frustules) of dense biogenic silica. These include diatom algae, which occupy a significant place in the biosphere. The siliceous frustules of diatoms have species‐specific patterns of surface structures between 10 and a few hundred nanometers. The present review considers possible mechanisms of uptake of silicic acid from the aquatic environment, its transport across the plasmalemma, and intracellular transport and deposition of silica inside the specialized Silica Deposition Vesicle (...) (SDV) where elements of the new frustule are formed. It is proposed that a complex of silicic acid with positively charged proteins silaffins and polypropylamines remains a homogeneous solution during the intracellular transport to SDV, where biogenic silica precipitates. The high density of the deposited biogenic silica may be due to removal of water from the SDV by aquaporins followed by syneresis—a process during which pore water is expelled from the network of the contracting gel. The pattern of aquaporins in the silicalemma, the membrane embracing the SDV, can determine the pattern of species‐specific siliceous nanostructures. BioEssays 30:328–337, 2008. © 2008 Wiley Periodicals, Inc. (shrink)

Inspired by the views by the American educationalist Henry Giroux on the role teachers and educationalists should be playing in the time of postmodernism and by Abraham Maslow's concept of biological idioscyncrasy, the author discusses how the concepts of the dialogues created by the representatives of Norwegian Dialogue Pedagogy, Hans Skjervheim, Jon Hellesnes, and Lars Løvlie, can be applied in the area of higher education. The aim of pedagogy in the time of postmodernism is to provide learners with knowledge and (...) skills that will allow them to earn a living, maintain democracy and fight social, racial or gender injustice. This can be achieved only if educationalists provide for educating thinking and emancipated individuals and accordingly consider the issues of identities, ethics, differences, language, transformative intellectuals, and biological idiosyncrasy. The main pedagogical function of the dialogue concepts is to encourage Bildung by enlightening learners to seen and unseen power and authority relations. The dialogue can have a form of a discussion in class, at meetings, in talk between a teacher and a learner, and parents and a child, where everyone should be allowed to speak his or her mind. The dialogue in instructional situations is also understood as a dialogue in a broad sense, including texts in the text-books. Depending on the type of problem that is discussed, a dialogue can take many different forms, all of which can and should be used in supervising graduate and post-graduate students, as the use of the concepts will promote emancipation and self-determination. When it comes to the issues of ethics, transformative intellectuals and biological idiosyncrasy, the use of the concepts should be an approach of choice. However, the author argues that the dialogue concepts do not meet the requirement for the language that Giroux suggests that pedagogy in the time of postmodernism should use, and are based on assumptions that partly conflict with the postmodern understanding of the truth. The author proposes that a new type of a dialogue, the dialogue that allows existence of several narratives at the same time, should be developed. (shrink)

This article provides a brief analysis of the life, work, and character of Nikolai Berdyaev. He is described as both a captive and apologist of freedom, and as an influential representative of existential personalism.

Journal of Philosophy of Education, EarlyView.

In this guest column, Epstein offers “a new sign” that, he argues, resolves difficulties that have arisen in many theories and practices, including linguistics, semiotics, literary theory, poetics, aesthetics, ecology, ecophilology, eco-ethics, metaphysics, theology, psychology, and phenomenology. The new sign, a pair of quotation marks around a blank space, signfies the absence of any sign. Most generally, “ ” relates to the blank space that surrounds and underlies a text; by locating “ ” within the text, the margins are brought (...) inside and can become the focus of attention. Not only the margins but also the material background of a text (the page or screen) can be brought forward and focused on through the transparency of the sign “ ”, in which case “ ” becomes a sign of itself. Consubstantial with its medium, therefore, this sign is both relative and universal: “ ” is the same everywhere, on every surface, in every language, and also in the arts. Epstein analyzes works by Rauschenberg, Malevich, Ilya Kabakov, and Vasilisk Gdenov in the visual arts, as well as music by John Cage, to demonstrate the usefulness of his new sign for aesthetics and art criticism. Each discipline, he argues, has its own nonspeakable conditions and assumptions that it needs to bring inside disciplinary frontiers. At the frontier of language, “ ” is both inside and outside, and therefore can express the nonspeakable condition of speakability. In concluding, Epstein suggests that the task of the avant-garde in theory today is to develop a “negative semiotics”: a semiotics of nonsigns, modeled on negative (apophatic) theology. (shrink)

This article argues that the key elements of the prima facie case of harmful battery may form critical building blocks of moral cognition in both humans and nonhuman animals. By contrast, at least some of the rules and representations presupposed by familiar justifications to battery appear to be uniquely human. The article also argues that many famous thought experiments in ethics and many influential experiments in moral psychology rely on harmful battery scenarios without acknowledging this fact or considering its theoretical (...) or empirical implications. The unifying factor in all these studies is goal-directed harmful contact, inflicted without consent or justification. (shrink)

In this paper, the predicate counterparts, defined both axiomatically and semantically by means of Kripke frames, of the modal propositional logics $\textbf {GL}$, $\textbf {Grz}$, $\textbf {wGrz}$ and their extensions are considered. It is proved that the set of semantical consequences on Kripke frames of every logic between $\textbf {QwGrz}$ and $\textbf {QGL.3}$ or between $\textbf {QwGrz}$ and $\textbf {QGrz.3}$ is $\Pi ^1_1$-hard even in languages with three (sometimes, two) individual variables, two (sometimes, one) unary predicate letters, and a single (...) proposition letter. As a corollary, it is proved that infinite families of modal predicate axiomatic systems, based on the classical first-order logic and the modal propositional logics $\textbf {GL}$, $\textbf {Grz}$, $\textbf {wGrz}$ are not Kripke complete. Both $\Pi ^1_1$-hardness and Kripke incompleteness results of the paper do not depend on whether the logics contain the Barcan formula. (shrink)

When is it immoral to take advantage of another person for one's own benefit? For some, such as Ruth Sample, John Roemer, and Will Kymlicka, the answer at least partly depends on whether what one takes advantage of is the fact that this person is, or has been, the victim of injustice. I argue, however, that whether person A wrongly exploits person B is wholly unrelated to whether A takes advantage of the fact that B is, or was, the victim (...) of injustice. I also develop a positive account regarding which personal attributes one should not exploit for personal gain. (shrink)

I argue against the view that there is intrinsic value in making one's own decisions about the direction and shape of one's life.

In the paper, the authors explore the relations between educational technology and educational ideology through the lens of philosophical inquiry. The optics of critical analysis is applied to review the instructional tools, services and systems which compose the complex picture of contemporary educational technology. The authors claim that even when initially established in the ideological domain of educational anarchism most educational technologies when being applied systemically can end up on the more oppressive side of the ideological spectrum close to educational (...) totalitarianism. They focus on the risks of technology that are growing with the social change brought by the lifelong learning paradigm in education. (shrink)